1. Web services and formal methods :
Author: Mario Bravetti, Tevfik Bultan (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Web services, Congresses.
Classification :
TK5105
.
88813
.
W74
2011
2. Web services and formal methods :
Author: Marco Carbone, Jean-Marc Petit (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science),Formal methods (Computer science) -- Congresses.,Web services -- Congresses.
Classification :
QA76
.
76
.
A65
M373
2012
